max [ X , max $partialdiff sub Y$ $partialdiff sub X$ ( WORLDBATH432 bath ) ]